1. Formal specification using Z: a modelling approach
Author: Bottaci, Leon.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
.
B68
1995
